61. Computer aided verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I
Author: / edited by Isil Dillig, Serdar Tasiran.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programs -- Verification -- Congresses.,Software engineering.,Computer science.,Computer science.,Computer programs.,Software engineering.
62. Computer performance evaluation :
Author: Ramon Puigjaner, Nunzio N. Savino, Bartomeu Serra (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: računalništvo -- optimizacija računalnika -- programska orodja -- zmogljivost -- računalniške mreže -- merjenje -- algoritemske tehnike -- Petrijeve mreže -- zborniki
Classification :
QA76
.
9
.
E94
R366
1998
63. Computing for scientists and engineers :
Author: William J. Thompson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering-- Data processing.,Numerical analysis-- Data processing.,Science-- Data processing.
Classification :
QA297
.
T5
1992
64. Computing in civil engineering :
Author: sponsored by Technical Council on Computing and Information Technology of the American Society of Civil Engineers ; edited by Ioannis Brilakis, Ph.D., SangHyun Lee, Ph.D., Burcin Becerik-Gerber, DDes
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Civil engineering-- Data processing, Congresses,Computer-aided engineering, Congresses
Classification :
TA345
.
A833
2013
65. Concepts and applications of finite element analysis /
Author: Robert D. Cook, David S. Malkus, Michael E. Plesha.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Finite element method.,Structural analysis (Engineering),Finite element method.,Structural analysis (Engineering),Anwendung,Baustatik,Constructions, théorie des.,Eléments finis, méthode des.,Finite element method.,Finite-Elemente-Methode,Numerische Mathematik,Partielle Differentialgleichung,Structural analysis (Engineering),Structural analysis (Engineering)
Classification :
TA646
.
C66
1989
66. Conceptual shape optimization of entry vehicles :
Author: Dominic Dirkx, Erwin Mooij
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Space vehicles-- Atmospheric entry.
Classification :
TL1060
67. Contact Mechanics
Author: by João A. C. Martins, Manuel D. P. Monteiro Marques.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering mathematics.,Engineering.,Mathematics.,Mechanics.,Vibration.
68. Contact modeling for solids and particles /
Author: Alexander Popp, Peter Wriggers, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Contact mechanics.,Condensed matter physics (liquid state & solid state physics),Contact mechanics.,Materials science.,Mathematical modelling.,Mechanics of solids.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
Classification :
TA353
69. Continuation and Bifurcations:
Author: edited by Dirk Roose, Bart De Dier, Alastair Spence.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Computational Mathematics and Numerical Analysis.,Computer engineering.
Classification :
QA377
.
E358
1990
70. Control of discrete-time descriptor systems :
Author: Alexey A. Belov, Olga G. Andrianova, Alexander P. Kurdyukov.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic control-- Linear programming.,Control theory.,Discrete-time systems.,Automatic control engineering.,Control theory.,Cybernetics & systems theory.,Discrete-time systems.,Optimization.,SCIENCE-- System Theory.,TECHNOLOGY & ENGINEERING-- Operations Research.
Classification :
QA402
.
3
71. Convexity and optimization in R [superscript n] /
Author: Leonard D. Berkovitz
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Convex sets,Mathematical optimization
Classification :
QA640
.
B46
2002
72. Data Assimilation
Author: edited by Pierre P. Brasseur, Jacques C. J. Nihoul.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ecology.,Geography.,Nature Conservation.,Oceanography.,Physical geography.
73. Data assimilation :
Author: Mark Asch, Université de Picardie Jules Verne, Amiens, France, Marc Bocquet, École des Ponts ParisTech/CEREA, Marne la Vallée, France, Maëlle Nodet, Université Grenoble Alpes, Grenoble, France.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Datenassimilation,Inverses Problem,Kalman-Filter
Classification :
QA378
.
5
74. Data-driven computational methods :
Author: John Harlim, the Pennsylvania State University.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational sciences.
Classification :
QA274
.
2
.
H37
2018
75. Design and Operation of Heat Exchangers :
Author: edited by Wilfried Roetzel, Peter John Heggs, David Butterworth.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chemical engineering.,Heat exchangers.,Physics.
Classification :
TJ263
.
E358
1992
76. Design optimization of fluid machinery :
Author: Kwang-Yong Kim, Abdus Samad, Ernesto Benini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational fluid dynamics.,Computational fluid dynamics.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
Classification :
TA357
.
5
.
D37
K56
2019
77. Digital Controller Implementation and Fragility
Author: edited by Robert S. H. Istepanian, James F. Whidborne.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronics.,Engineering.,Microprogramming.
78. Digital protection for power systems /
Author: A.T. Johns and S.K. Salman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electric power systems-- Protection.,Protective relays.,Relais de protection-- Modèles mathématiques.,Réseaux électriques (Énergie)-- Protection.,Digitales System.,Distanzschutz.,Electric power systems-- Protection.,Protective relays.,Starkstromnetz.
Classification :
TK2861
.
J63
1995
79. Discrete variational derivative method :
Author: Daisuke Furihata, Takayasu Matsuo
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Differential equations, Partial-- Numerical solutions,Engineering mathematics,Nonlinear theories
Classification :
QA377
.
F87
2011
80. Discrete variational derivative method
Author: / Daisuke Furihata, Takayasu Matsuo
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Differential equations, Partial--Numerical solutions,Nonlinear theories,Engineering mathematics
Classification :
QA377
.
F87
2011
